Experimental Validation of High-Speed Fault-Tolerant Systems Using Physical Fault Injection1

This paper introduces a new methodology for validation of dependable systems based on physical fault injection. The approach defines the elements of the injection environment and the requirements that are necessary to control the injection process with fine granularity, allowing for the elimination of glitches and not valid experiments and therefore making the validation process more accurate. We also show the main features of a high-speed pin level fault injection tool, AFIT (Advanced Fault Injection Tool), that incorporates most of the requirements necessary for the application of this methodology. As a practical case study we have validated FASST, a fault tolerant multiprocessor system composed of several fail-silent processor modules. The dependability of the system has been shown, including the influence of the error detection levels in the coverage and latency of the error.